@article{CurienHL96,
  author    = {Pierre-Louis Curien and
               Th{\'e}r{\`e}se Hardin and
               Jean-Jacques L{\'e}vy},
  title     = {Confluence Properties of Weak and Strong Calculi of Explicit
               Substitutions},
  journal   = {J. ACM},
  volume    = {43},
  number    = {2},
  year      = {1996},
  pages     = {362-397},
  ee        = {http://doi.acm.org/10.1145/226643.226675},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Takahashi95,
  author    = {Masako Takahashi},
  title     = {Parallel Reductions in lambda-Calculus},
  journal   = {Inf. Comput.},
  volume    = {118},
  number    = {1},
  year      = {1995},
  pages     = {120-127},
  ee        = {http://dx.doi.org/10.1006/inco.1995.1057},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Hardin:1989,
 author = {Hardin, Th{\'e}r\`{e}se},
 title = {Confluence results for the pure strong categorical logic CCL. $\lambda$-calculi as subsystems of CCL},
 journal = {Theor. Comput. Sci.},
 issue_date = {July 1989},
 volume = {65},
 number = {3},
 month = jul,
 year = {1989},
 issn = {0304-3975},
 pages = {291--342},
 numpages = {52},
 url = {http://dx.doi.org/10.1016/0304-3975(89)90105-9},
 doi = {10.1016/0304-3975(89)90105-9},
 acmid = {70103},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
} 

@article{Ariola:1997,
title = "Lambda Calculus with Explicit Recursion ",
journal = "Information and Computation ",
volume = "139",
number = "2",
pages = "154 - 233",
year = "1997",
note = "",
issn = "0890-5401",
doi = "10.1006/inco.1997.2651",
url = "http://www.sciencedirect.com/science/article/pii/S0890540197926511",
author = "Zena M. Ariola and Jan Willem Klop"
}

